CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 4 of 4 Results
1.
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits by Dill, David L. ISBN: 9780262541572 List Price: $26.00
$34.50
2.
Computer Aided Verification
Computer Aided Verification by Dill, David L. ISBN: 9783662194027 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
3.
Computer Aided Verification: Proceedings of the 6th International Conference, CAV '94, Stanf...
Computer Aided Verification: Proceedings of the 6th International Conference, CAV '94, Stanf... by CAV '94 Staff, Dill, David L. ISBN: 9780387581798 List Price: $71.95

OUT OF STOCK

See Availability on Amazon
4.
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits by Dill, David L. ISBN: 9780262041010 List Price: $32.50

OUT OF STOCK

See Availability on Amazon